#include <stdio.h>

#define MAXLINE 1000

char line[MAXLINE + 1];

int main(int argc, char *argv[]) {
  printf("octal: %c, hex: %c\n", '\007', '\x0f');

  return 0;
}

/* strlen: return length of s */
int strlen(char s[])
{
  int i;

  while (s[i] != '\0') {
    ++i;
  }

  return i;
}
